退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:定性基于约束的推理中的杂项
Matthias Westphal; Julien Hué;
机译:基于立即约束的定性空间和时间推理的推论
机译:基于邻域单例风格一致性的基于质约束的时空推理
机译:带有基于约束推理的协作专业知识的参数图
机译:基于定性约束的推理中的nogoods
机译:基于约束的时间推理的有效和表达性扩展。
机译:采用行为推理理论探讨膳食限制的原因:英国矫形性矫正趋势的定性研究
机译:BDD约束求解器中Nogoods的有效推理
机译:集成的定性/定量推理功能,具有增强的核心预测能力和扩展的测试程序,可使用定性物理机制来隔离机器故障
机译:时空物理系统定性推理的方法和系统
机译:并行处理定性推理系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。